منابع مشابه
Specifications for decidable hybrid games
We introduce STORMED hybrid games (SHG), a generalization of STORMED Hybrid Systems [33], which have natural specifications that allow rich continuous dynamics and various decidable properties. We solve the control problem for SHG using a reduction to bisimulation on finite game graphs. This generalizes to a greater family of games, which includes o-minimal hybrid games [6]. We also solve the o...
متن کاملFor Decidable Hybrid Automata and Games
Using hybrid automata, one is able to model many types of systems and express their properties in various formal languages. Being extremely general and rich, however, the class of hybrid automata exhibits the inherent problems of automata theory: even the simplest of properties for general hybrid automata are undecidable. Therefore, one must restrict attention only to subclasses of this very ge...
متن کاملDecidable Hybrid Systems
Hybrid systems combine diierential equations with discrete event systems. We consider the reachability problem: is there a trajectory from an initial state to a target state in the hybrid system. We show that for hybrid systems with decoupled diierential inclusions, the reachability problem can be decided in a nite number of steps.
متن کاملDecidable Hybrid Systems
One of the most important analysis problems of hybrid systems is the reacha-bility problem. State of the art computational tools perform reachability computation for timed automata, multirate automata, and rectangular automata. In this paper, we extend the decidability frontier for classes of linear hybrid systems, which are introduced as hybrid systems with linear vector elds in each discrete ...
متن کاملSemi-decidable Synthesis for Triangular Hybrid Systems
The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the importance of algorithmic approaches to controller design for hybrid systems, results that guarantee termination of the algorithms have been limited. In this paper, we extend recent decidability results on controller synthesis for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.08.036